Reasoning about Actions in Prioritized Default Theory
نویسندگان
چکیده
This paper shows how action theory in the language B can be naturally encoded using prioritized default theory. We also show how prioritized default theory can be extended to express preferences between rules and formulae. This extension provides a natural framework to introduce preferences over trajectories in B. We illustrate how these preferences can be expressed and how they can be represented within extended prioritized default theory. We also discuss how this framework can be implemented in terms of answer set programming.
منابع مشابه
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory
This paper shows how action theories, expressed in an extended version of the languageB, can be naturally encoded using Prioritized Default Theory. We also show how prioritizeddefault theory can be extended to express preferences between rules. This extension providesa natural framework to introduce different types of preferences in action theories—preferencesbetween actions...
متن کاملNonmonotonic Reasoning as Prioritized Argumentation
This paper proposes a formalism for nonmonotonic reasoning based on prioritized argumentation. We argue that nonmonotonic reasoning in general can be viewed as selecting monotonic inferences by a simple notion of priority among inference rules. More importantly, these types of constrained inferences can be speciied in a knowledge representation language where a theory consists of a collection o...
متن کاملComplexity of Prioritized Default Logics
In default reasoning, usually not all possible ways of resolving conflicts between default rules are acceptable. Criteria expressing acceptable ways of resolving the conflicts may be hardwired in the inference mechanism, for example specificity in inheritance reasoning can be handled this way, or they may be given abstractly as an ordering on the default rules. In this article we investigate fo...
متن کاملDigital Systems Laboratory Series A: Research Reports Priorities and Nonmonotonic Reasoning Priorities and Nonmonotonic Reasoning
Many knowledge-based systems use some kind of priorities for controlling their reasoning. In this work, autoepistemic logic is extended with priorities. Priorities are formalized as partial orders of formulae that express that some formulae are preferred to others. Priorities increase the set of conclusions that can be inferred from a set of formulae, because the number of cases where connicts ...
متن کاملTwo results for prioritized logic programming
Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this paper, we investigate two properties of prioritized logic programs in the context of answer set semantics. Specifically, we reveal a close relationship between...
متن کامل